Towards Pre-Indexed Terms
نویسنده
چکیده
Indexing of terms and clauses is a well-known technique used in Prolog implementations (as well as automated theorem provers) to speed up search. In this paper we show how the same mechanism can be used to implement efficient reversible mappings between different term representations, which we call pre-indexings. Based on user-provided term descriptions, these mappings allow us to use more efficient data encodings internally, such as prefix trees. We show that for some classes of programs, we can drastically improve the efficiency by applying such mappings at selected program points.
منابع مشابه
Indexed copatterns: reasoning about infinite structures by observations
Reasoning about finite data such as lists or even lambda terms is well understood and programming languages and proof systems o↵er extensive support to inductively define such finite data. Beyond encoding such structures in a simply typed setting, indexing types allows us to enforce even more precise invariants about inductive objects; for example, we may index lists with their length to reason...
متن کاملPre-indexed Terms for Prolog
Indexing of terms and clauses is a well-known technique used in Prolog implementations (as well as automated theorem provers) to speed up search. In this paper we show how the same mechanism can be used to implement efficient reversible mappings between different term representations, which we call pre-indexings. Based on user-provided term descriptions, these mappings allow us to use more effi...
متن کاملA comparative study of the origin, structure, and indexing language of the Persian and English keywords of articles indexed in the IranMedex database and their compliance with the Persian medical thesaurus and Medical Subject Headings
INTRODUCTION In the present era, thesauri as tools in indexing play an effective role in integrating retrieval preventing fragmentation as well as a multiplicity of terminologies and also in providing information content of documents. GOALS This study aimed to investigate the keywords of articles indexed in IranMedex in terms of origin, structure and indexing situation and their Compliance wi...
متن کاملQuality of Randomization in Clinical Trials Published in Persian Journals of Medical Sciences Indexed in Scopus during 2013-2017
Background and Objectives: Randomization is one of the principles of correct clinical trial. The aim of this study was to determine the quality of randomization in the published articles of clinical trials in the Persian-language journals indexed in Scopus. ed in Scopus D Methods: In this cross-sectional study, all clinical trials published in Persian journals indexed in Scopus during 2013-2...
متن کاملCorrespondences between Pre-pyramids, Pyramids and Robinsonian Dissimilarities
We consider cluster structures in a general setting where they do not necessarily contain all singletons of the ground set. Then we provide a direct proof of the bijection between semi-proper robinsonian dissimilarities and indexed pre-pyramids. This result generalizes its analogue proven by Batbedat in the particular case of definite cluster structures. Moreover, the proposed proof shows that ...
متن کامل